package strain.solver;

import java.util.ArrayList;
import java.util.List;
import java.util.HashMap;
import java.util.LinkedList;
import java.util.Map;
import java.util.Queue;
import java.util.Set;

import strain.domain.BoolDomain;
import strain.domain.EnumDomain;
import strain.domain.IntDomain;
import strain.domain.RealDomain;
import strain.expression.Expression;
import strain.expression.IntExpression;

public class DichotomizingDomainPartitioner implements DomainPartitioner {

    public <T> Queue<EnumDomain<T>> partitionDomain(final EnumDomain<T> domain) {
        // TODO Auto-generated method stub
        return null;
    }

    public Queue<BoolDomain> partitionDomain(final BoolDomain domain) {
        // TODO Auto-generated method stub
        return null;
    }

    public Queue<IntDomain> partitionDomain(final IntDomain domain) {
        // TODO Auto-generated method stub
        return null;
    }

    public Queue<RealDomain> partitionDomain(final RealDomain domain) {
        // TODO Auto-generated method stub
        return null;
    }
    
}
